1,474 research outputs found
Morita homotopy theory for -categories and -operads
We prove the existence of Morita model structures on the categories of small
simplicial categories, simplicial sets, simplicial operads and dendroidal sets,
modelling the Morita homotopy theory of -categories and
-operads. We give a characterization of the weak equivalences in terms
of simplicial presheaves, simplicial algebras and slice categories. In the case
of the Morita model structure for simplicial categories and simplicial operads,
we also show that each of these model structures can be obtained as an explicit
left Bousfield localization of the Bergner model structure on simplicial
categories and the Cisinski--Moerdijk model structure on simplicial operads,
respectively.Comment: 30 pages. v2: Sections 4 and 5 about the relation between Morita
equivalences of algebraic theories and operads have been removed and made a
separate note (arXiv:arXiv:1808.09045). The paper has been rewritten
accordingly with minor modifications. v3: Final versio
A generalization of Ohkawa's theorem
A theorem due to Ohkawa states that the collection of Bousfield equivalence
classes of spectra is a set. We extend this result to arbitrary combinatorial
model categories.Comment: 13 pages; consequences in motivic homotopy theory have been adde
Towards the integration of data-centric distribution technology into partitioned embedded systems
REACTION 2013. 2nd International Workshop on Real-time and distributed computing in emerging applications. December 3rd, 2013, Vancouver, Canada.This work proposes an architecture to enable the use
of data-centric real-time distribution middleware in partitioned
embedded systems based on a hypervisor. Partitioning is a
technique that provides strong temporal and spatial isolation,
thus allowing mixed-criticality applications to be executed in
the same hardware. The proposed architecture not only enables
transparent communication among partitions, but it also
facilitates the interconnection between partitioned and nonpartitioned
systems through distribution middleware.
Preliminary results show that hypervisor technology provides
low overhead and a reasonable trade-off between temporal
isolation and performance.This work has been funded in part by the Spanish Government and FEDER funds under grant number TIN2011-28567-C03-02 (HIPARTES
- …